<html>
<head><meta charset="utf-8"><title>I-prioritize #73431 ICE: MIR const-checker found novel struc · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html">I-prioritize #73431 ICE: MIR const-checker found novel struc</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="202615661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202615661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202615661">(Jul 01 2020 at 19:47)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/73431">#73431</a> has been requested for prioritization.</p>
<h1><a href="https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#Unprioritized-I-prioritize">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="202615780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202615780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202615780">(Jul 01 2020 at 19:48)</a>:</h4>
<p>Downgrade from <code>P-critical</code> as the issue was fixed and beta-backported. I still labeled this as <code>I-prioritize</code> to see if this needs to be re-prioritized.</p>



<a name="202616586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202616586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202616586">(Jul 01 2020 at 19:55)</a>:</h4>
<p><del>At this point, this issue is nightly-only and requires unstable compiler options to trigger so I think this is maybe <code>P-medium</code>.</del></p>



<a name="202617920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202617920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202617920">(Jul 01 2020 at 20:07)</a>:</h4>
<p>I also think <code>P-medium</code> is fine there. While this is an interesting and relevant design problem, it shouldn't have any impact on current stable users.</p>
<blockquote>
<p>unstable compiler options to trigger</p>
</blockquote>
<p>Doesn't this just require RUSTC_LOG=warn to "trigger", i.e. emit a warning</p>



<a name="202618012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202618012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202618012">(Jul 01 2020 at 20:08)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/73431">#73431</a>'s prioritization request has been removed.</p>



<a name="202619616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202619616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202619616">(Jul 01 2020 at 20:22)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> Yep, sorry! I posted this in the wrong stream.</p>



<a name="202666638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202666638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202666638">(Jul 02 2020 at 09:28)</a>:</h4>
<p>I just realised <span class="user-mention silent" data-user-id="118594">ecstatic-morse</span> opened a new issue <a href="https://github.com/rust-lang/rust/issues/73448">#73448</a> for the remaining work here, will close this issue and move<code>P-medium</code> over to the new one if noone disagrees here.</p>



<a name="202668331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202668331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202668331">(Jul 02 2020 at 09:50)</a>:</h4>
<p>Sgtm</p>



<a name="202685563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/202685563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#202685563">(Jul 02 2020 at 13:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc/near/202666638">said</a>:</p>
<blockquote>
<p>I just realised <span class="user-mention silent" data-user-id="118594">ecstatic-morse</span> opened a new issue <a href="https://github.com/rust-lang/rust/issues/73448">#73448</a> for the remaining work here, will close this issue and move<code>P-medium</code> over to the new one if noone disagrees here.</p>
</blockquote>
<p>did you close the issue already? I think you were talking about <a href="https://github.com/rust-lang/rust/issues/73431">#73431</a>, right?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>